Loft + Cyclone

نویسنده

  • Frédéric Boussinot
چکیده

This paper reports on an experiment to add concurrency to the Cyclone programming language, in order to get a safe concurrent language. The basic model considered is that of FairThreads in which synchronous and asynchronous aspects are mixed. The language Loft implements the FairThreads model in C. In this paper, one uses Cyclone instead of C in the implementation of Loft. Using the multi-threaded version of Boehm’s GC, one gets an extension of Cyclone to concurrency which is as safe as Cyclone for sequential code, with some additional safety verifications for concurrent code. Key-words: Reactive programming, Safe programming, Cyclone ∗ with support from ACI Securité Informatique, ALIDECS project

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Investigation of Separator Cyclone Performance Using CFD Simulation: A Case Study of Cement Industry Cyclone

This paper tends to investigate the performance of a separator cyclone used in cement industries in Iran. This investigation was performed using CFD modeling, which is validated by other valid studies. Separator cyclone performance includes of two important parameters as pressure drop and collection ratio. In this presented study, the pressure drop has been considered to assess the performance ...

متن کامل

Testing cognitive navigation in unknown territories: homing pigeons choose different targets.

Homing pigeons (Columba livia) are believed to adopt a map-and-compass strategy to find their way home. Surprisingly, to date a clear demonstration of the use of a cognitive map in free-flight experiments is missing. In this study, we investigated whether homing pigeons use a mental map in which - at an unknown release site - their own position, the home loft and a food loft are represented sim...

متن کامل

Using lexical familiarity judgments to assess verbally mediated intelligence in aphasia.

In this study, a task using forced-choice lexical familiarity judgments of irregular versus archaic words (a newly developed measure called the Lexical Orthographic Familiarity Test; LOFT) was compared to a standardized oral word-reading measure (the Wechsler Test of Adult Reading; WTAR) in a group of 35 aphasic adults and a comparison group of 125 community dwelling, nonbrain damaged adults. W...

متن کامل

Facilitating LOFT Debriefings 1 Running head: FACILITATING LOFT DEBRIEFINGS Facilitating LOFT Debriefings: Instructor Techniques and Crew Participation

This study analyzes techniques instructor pilots (IPs) use to facilitate crew analysis and evaluation of LOFT performance. We analyzed IP facilitation and crew participation for 36 debriefing sessions conducted at five U.S. airlines. For this analysis we developed a rating instrument called the Debriefing Assessment Battery (DAB) and demonstrated that it can be used reliably. IP facilitation sk...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2005